home *** CD-ROM | disk | FTP | other *** search
/ Collection of Tools & Utilities / Collection of Tools and Utilities.iso / ada / c01lab5.zip / SPACEMON / CHECKERB.SRC next >
Text File  |  1992-03-17  |  481b  |  22 lines
  1. with Spacecraft_Sensor_Interface; use Spacecraft_Sensor_Interface;
  2.  
  3. package body Checker is
  4.  
  5.     function Check_Value(arg:PRESSURE) return BOOLEAN is
  6.     begin
  7.         return arg in TOLERATED_PRESSURE;
  8.     end Check_Value;      
  9.  
  10.          
  11.     function Check_Value(arg:RADIATION_LEVEL) return BOOLEAN is
  12.     begin
  13.         return arg in TOLERATED_RADIATION_LEVEL;
  14.     end Check_Value;
  15.  
  16.  
  17.     function Check_Value(arg:TEMPERATURE) return BOOLEAN is
  18.     begin
  19.         return arg in TOLERATED_TEMPERATURE;
  20.     end Check_Value;
  21.  
  22. end Checker;